$\vdash$  ($\uparrow$tt) $\vee$ ($\neg$($\uparrow$tt))